Verifying the Co-Simulation Orchestration Engine for INTO-CPS
نویسنده
چکیده
The development of Cyber-Physical Systems often involves cyber parts controlling physical artefacts and this interaction is challenging. Therefore, it can be useful to create models of the constituent components and simulate them in a co-simulation to help discover undesired behavior. It is crucial that the tool performing co-simulation does so correctly, and an approach to verifying this is to give semantics to the parts involved in a co-simulation and thereby enable formal verification.
منابع مشابه
Co-simulation of cyber physical systems with HMI for human in the loop investigations
The development of safety critical Cyber-Physical Systems (CPS) is highly dependent on human interaction and cognitive assessment. Despite this dependency, the human in the loop is seldom an integrated part of CPS development or tool chain. In this paper we propose a hybrid co-simulation environment, where hardware, software and models can be interconnected, making it possible to connect a huma...
متن کاملImproving the combustion and emission characteristics of ISM 370 diesel engine by hydrogen addition and redesigning injection strategy
Hydrogen fuel is the cleanest fuel available. This fuel can be used as an additive in the diesel engine. Diesel engines have the advantages of strong power, high thermal efficiency and low fuel costs. There have been extensive studies on the use of hydrogen fuel in diesel engines in recent years. However, the simultaneous effect of using gaseous hydrogen fuel and changing injection strategy nee...
متن کاملEnvironmental effects of using Methanol as a biofuel into the combustion chamber of a heavy-duty diesel engine
Methanol as a biofuel is an environmentally friendly substitute for pure diesel and can be obtained from biomasses. The use of biofuels such as methanol for the combustion process is associated with positive impacts on the environment. Using pure methanol or a blend of diesel/methanol fuel in motorized vehicles has been proposed by researchers. In this paper, pure methanol was injected into the...
متن کاملSpecification, Analyzing Challenges and Approaches for Cyber-Physical Systems (CPS)
Cyber-Physical Systems (CPS) integrate computation with physical processes. By merging computing and communication with physical processes CPS allows computer systems to monitor and interact with the physical world. However, today’s computing and networking abstractions do not adequately reflect the properties of the physical world. This shortcoming necessitates the development of effective met...
متن کاملToward an Improvement of Natural Gas-diesel Dual Fuel Engine Operation at Part Load Condition by Detail CFD Simulation
Natural gas-diesel dual fuel combustion is a beneficial strategy for achieving high efficient and low emissions operation in compression ignition engines, especially in genset application heavy duty diesel engine at rated power. This study aims to investigate a dual fuel engine performance and emissions using premixed natural gas and early direct injection of diesel fuel. Due to the different r...
متن کامل